Mathematical proofs - PDFSEARCH.IO - Document Search Engine

Mathematical proofs
Results: 343

#	Item
31	Querying Proofs (Work in Progress) David Aspinall1 , Ewen Denney2 , and Christoph L¨ uth3 1 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Proof theory Mathematical proof NP First-order logic Formal proof
32	Hipster: Integrating Theory Exploration in a Proof Assistant Moa Johansson, Dan Ros´en, Nicholas Smallbone, and Koen Claessen Department of Computer Science and Engineering, Chalmers University of Technology {jomoa,danr Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2014-05-05 03:54:39 Mathematical proofs Lemmas Five lemma Homological algebra Structural induction Theorem Proof assistant
33	Example Combinatorial Proof October 11, 2015 Theorem 1. For all non-negative n, k ∈ Z, Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-12-04 19:21:56 Combinatorics Enumerative combinatorics Mathematical proofs Combinatorial proof Integer sequences Probability theory Binomial coefficient Bijective proof
34	Logic and Proof Jeremy Avigad Robert Y. Lewis Floris van Doorn Version 891edf9, updated at:06: Add to Reading List Source URL: avigad.github.io Language: English - Date: 2016-08-13 19:54:37 Proof theory Formal systems Methods of proof Mathematical proofs Deductive reasoning Propositional calculus Natural deduction Theorem Rule of inference First-order logic Mathematical induction Formal proof
35	BU CAS CS 320 (Summer I, Concepts of Programming Languages Inductive Reasoning Induction is a powerful tool for reasoning in mathematics. In the study of programming languages, it is frequent to encounter inductiv Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2016-05-19 17:18:34 Logic in computer science Mathematical proofs Mathematical induction Structural induction Binary tree Exponentiation Trace Markov number
36	BU CAS CS 520 (Fall Semester, Principles of Programming Languages Inductive Reasoning Induction is a powerful tool for reasoning in mathematics. In the study of programming languages, it is frequent to encounter i Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2011-09-03 11:02:00 Logic in computer science Mathematical proofs Mathematical induction Structural induction Binary tree Exponentiation Trace Markov number
37	Seven Proofs for the Subadditivity of Expected Shortfall Paul Embrechts∗ and Ruodu Wang† October 7, 2015 Abstract Subadditivity is the key property which distinguishes the popular risk measures Valueat-Risk and Expec Add to Reading List Source URL: sas.uwaterloo.ca Language: English - Date: 2015-10-07 04:20:07 Mathematical analysis Probability Expected value Limit of a function Mathematics Probability theory Stochastic processes
38	Effective Uniform Bounds from Proofs in Abstract Functional Analysis Ulrich Kohlenbach Department of Mathematics Darmstadt University of Technology Schlossgartenstraße 7 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-08-23 06:38:01 Mathematical analysis Mathematics Operator theory Lipschitz maps Fourier analysis Approximation theory Constructivism Modulus of continuity Limit of a function Continuous function Universal property Contraction
39	PROOF MINING: A SYSTEMATIC WAY OF ANALYSING PROOFS IN MATHEMATICS ULRICH KOHLENBACH AND PAULO OLIVA Abstract. We call proof mining the process of logically analyzing proofs in mathematics with the aim of obtaining new i Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:21:17 Mathematical logic Quantification Logic Semantics Peano axioms Symbol Constructible universe Universal quantification Interpretation Uniform boundedness principle Witness Combinatory logic
40	On weak Markov’s principle Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:34:17 Constructivism Mathematics Computability theory Mathematical logic Mathematical proofs Functions and mappings Abstraction Proof theory Realizability Constructive proof Primitive recursive function operator

UPDATE